e8d4a85764ea842a9b0a32f93cb28ef1e63d059d,tests/fr.inria.diverse.melange.tests/src/main/java/simplefsm/timedfsm/adapters/timedfsmmt/FSMAdapter.java,FSMAdapter,setInitialState,#State#,38
Before Change
@Override
public void setInitialState(final State o) {
adaptee.setInitialState(((simplefsm.timedfsm.adapters.timedfsmmt.StateAdapter) o).getAdaptee()) ;
}
private EList<State> finalState;
After Change
@Override
public void setInitialState(final State o) {
if (o != null)
adaptee.setInitialState(((simplefsm.timedfsm.adapters.timedfsmmt.StateAdapter) o).getAdaptee()) ;
else adaptee.setInitialState(null) ;
}
private EList<State> finalState;